منابع مشابه
A . M . Wille Minimal Varieties of Involutive Residuated Lattices
We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. The proof utilizes a construction used in the proof of the corresponding result for residuated lattices and is based on the fact that every residuated lattice with greatest element can be associated in a canonical way with an involutive residuated lattice.
متن کاملMinimal subvarieties of involutive residuated lattices
It is known that classical logic CL is the single maximal consistent logic over intuitionistic logic Int, which is moreover the single one even over the substructural logic FLew. On the other hand, if we consider maximal consistent logics over a weaker logic, there may be uncountablymany of them. Since the subvariety lattice of a given variety V of residuated lattices is dually isomorphic to th...
متن کاملMinimal Varieties
This is a survey article, reporting on recent results in the theory of minimal varieties in euclidean space, and including a number of theorems on minimal submanifolds of spheres. Introduction. It was exactly 100 years ago, in 1868, that Beltrami presented the first general survey of the theory of minimal surfaces [4]. This survey has been referred to by Blaschke [5, p. 118] as representing the...
متن کاملMinimal Homogenous Liaison and Licci Ideals
We study the linkage classes of homogeneous ideals in polynomial rings. An ideal is said to be homogeneously licci if it can be linked to a complete intersection using only homogeneous regular sequences at each step. We ask a natural question: if I is homogeneously licci, then can it be linked to a complete intersection by linking using regular sequences of forms of smallest possible degree at ...
متن کاملMinimal Noncommutative Varieties and Power Varieties
A variety of finite monoids is a class of finite monoids closed under taking submonoids, quotients and finite direct products. A language L is a subset of a finitely generated free monoid. The variety theorem of Eilenberg sets up a one to one correspondence between varieties of finite monoids and classes of languages called, appropriately, varieties of languages. Recent work in variety theory h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: LMS Journal of Computation and Mathematics
سال: 2005
ISSN: 1461-1570
DOI: 10.1112/s1461157000001005